Ed Brinksma : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (54)
Les plus populaires
Liste
- Liste
- Tableau

Design of a PLC Control Program for a Batch Plant VHS Case Study 1

Mader, Angelika, Brinksma, Ed, Wupper, Hanno, Bauer, Nanette

Journal:

European Journal of Control

Année:

2001

Langue:

english

Fichier:

PDF, 415 KB

english, 2001

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 119 KB

english, 2002

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Non-Markovian Analysis

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Année:

2001

Langue:

english

Fichier:

PDF, 496 KB

english, 2001

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma

Journal:

Computer Networks and ISDN Systems

Année:

1987

Langue:

english

Fichier:

PDF, 2.53 MB

english, 1987

Introduction to the PSTV-IX

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

Journal:

Computer Networks and ISDN Systems

Année:

1991

Langue:

english

Fichier:

PDF, 520 KB

english, 1991

Specification styles in distributed systems design and verification

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Journal:

Theoretical Computer Science

Année:

1991

Langue:

english

Fichier:

PDF, 1.92 MB

english, 1991

Partial order models for quantitative extensions of LOTOS

Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella

Journal:

Computer Networks and ISDN Systems

Année:

1998

Langue:

english

Fichier:

PDF, 476 KB

english, 1998

Cache consistency by design

Ed Brinksma

Journal:

Distributed Computing

Année:

1999

Langue:

english

Fichier:

PDF, 376 KB

english, 1999

Verification and optimization of a PLC control schedule

Ed Brinksma, Angelika Mader, Ansgar Fehnker

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2002

Langue:

english

Fichier:

PDF, 351 KB

english, 2002

Managing the verification trajectory

Theo C. Ruys, Ed Brinksma

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2003

Langue:

english

Fichier:

PDF, 294 KB

english, 2003

Verification is experimentation!

Ed Brinksma

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2001

Langue:

english

Fichier:

PDF, 113 KB

english, 2001

Optimal infinite scheduling for multi-priced timed automata

Patricia Bouyer, Ed Brinksma, Kim G. Larsen

Journal:

Formal Methods in System Design

Année:

2008

Langue:

english

Fichier:

PDF, 649 KB

english, 2008

A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions

Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tommaso Bolognesi

Journal:

Formal Methods in System Design

Année:

1998

Langue:

english

Fichier:

PDF, 585 KB

english, 1998

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 918 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A brief introduction to coloured Petri Nets

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 373 KB

english, 1997

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The d/dt Tool for Verification of Hybrid Systems

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 114 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The Quest for Efficient Boolean Satisfiability Solvers

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 150 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 199 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 169 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Deciding Separation Formulas with SAT

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 214 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Liveness with (0,1, ∞)- Counter Abstraction

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 266 KB

english, 2002

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Introduction to Stochastic Petri Nets

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Année:

2001

Langue:

english

Fichier:

PDF, 736 KB

english, 2001

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma, Ed, Hooman, Jozef

Année:

2008

Langue:

english

Fichier:

PDF, 2.18 MB

english, 2008

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Design/CPN — A computer tool for Coloured Petri Nets

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 955 KB

english, 1997

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || IF-2.0: A Validation Environment for Component-Based Real-Time Systems

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 106 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Interface Compatibility Checking for Software Modules

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 209 KB

english, 2002

[Lecture Notes in Computer Science] Lectures on Formal Methods and PerformanceAnalysis Volume 2090 || Stochastic Activity Networks: Formal Definitions and Concepts⋆

Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Année:

2001

Langue:

english

Fichier:

PDF, 346 KB

english, 2001

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Syntactic detection of process divergence and non-local choice in message sequence charts

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 933 KB

english, 1997

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Applying SAT Methods in Unbounded Symbolic Model Checking

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 203 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Infinite Games and Verification

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 121 KB

english, 2002

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 ||

Brinksma, Ed, Larsen, Kim Guldstrand

Année:

2002

Langue:

english

Fichier:

PDF, 8.07 MB

english, 2002

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Dependability for high-tech systems

Brinksma, Ed, Hooman, Jozef

Année:

2008

Fichier:

PDF, 1.36 MB

2008

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || The bounded retransmission protocol must be on time!

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 1004 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Formal verification of statecharts with instantaneous chain reactions

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 856 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Visual verification of reactive systems

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 956 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || The reference component of PEP

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 833 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Compositional performance analysis

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 795 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || An automata based verification environment for mobile processes

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 811 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Incremental development of deadlock-free communicating systems

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 988 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Automatic synthesis of specifications from the dynamic observation of reactive programs

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 817 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Theorem prover support for the refinement of stream processing functions

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 875 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Compositional state space generation from Lotos programs

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Manipulation algorithms for K*BMDs

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 685 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Hardware and software synthesis, optimization, and verification from Esterel programs

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 157 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Test generation for intelligent networks using model checking

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 884 KB

english, 1997

PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS

Brinksma, Ed, Krilaviĉius, Tomas, Usenko, Yaroslav S.

Journal:

IFAC Proceedings Volumes

Année:

2005

Langue:

english

Fichier:

PDF, 279 KB

english, 2005

SCHEDULING LACQUER PRODUCTION BY REACHABILITY ANALYSIS – A CASE STUDY

Behrmann, Gerd, Brinksma, Ed, Hendriks, Martijn, Mader, Angelika

Journal:

IFAC Proceedings Volumes

Année:

2005

Langue:

english

Fichier:

PDF, 308 KB

english, 2005

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Mechanically verified self-stabilizing hierarchical algorithms

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 947 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Model-checking for a subclass of event structures

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 987 KB

english, 1997

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || Mosel: A flexible toolset for monadic second-order logic

Brinksma, Ed

Année:

1997

Langue:

english

Fichier:

PDF, 1.51 MB

english, 1997